|
|
An UML Profile for Modelling of Component-Based Systems
Pagáč, Jiří ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
The thesis deals with the modeling of the Component Based Software (CBS) systems in the UML language and with extension of the UML language with using of meta-modeling techniques and with using of the UML Prodile technology. Thesis also deals with Component Based Development (CBD). The main part of this study deals with specifying of methodology for creating of UML Prodiles and with demonstration of this methodology on selected Component System meta-model by creating the profile including the OCL constraints and description of problems with creating of the prodile. Thesis also describes support of the UML Profile technology in existing UML CASE tools. For demonstration purposes thesis contains the case study with example which uses in this work created UML Profile. Profile is created in accordance with specification of UML version 2.3 and OCL in version 2.2. Demonstration is performed and profile itself is created using IBM Rational Software Architect version 8.0.2.
|
|
|
System for E-learning Support
Drahoš, Michal ; Eysselt, Miloš (referee) ; Kreslíková, Jitka (advisor)
This project is dealing with creating of system for e-learning support. It describes problematics of e-learning, explains meaning of this term and describes its advantages and disadvantages. The objectives were to create an application suitable for electronic learning, which could illustrate specifications of restrictions of the system objects. This means to create an application, where is explained the problem of OCL in that kind of format, which reacts the structure and the form of application used for e-learning. I meet the program languages of OCL and UML 2.0. I read over the CASE Rational Rose environment and meet the e-learning problem, too. These are the knowledges, which I used while I was creating my e-learning application.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (referee) ; Krčmář, Radim (advisor)
Diplomová práce se zabývá problematikou návrhu vysokoúrovňového jazyka pro popis grafického uživatelského rozhraní. Teoretická část rozebírá současné technologie uživatelských rozhraní zejména pro stanovení požadavků na nový jazyk. Z těchto poznatků násladně jsou shrnuty zásadní požadavky, které se nutně musí zakomponovat při návrhu samotného jazyka. Jsou zde zmíněny i požadavky z pohledu osob se specifickými vzdělávacími potřebami dle tzv. návrhových principů \textit{počítačové terapie}. Následně práce dle analyzovaných požadavků navrhuje jazyk pro vysokoúrovňový popis uživatelského rozraní. Součástí návrhu jazyka je také popis algoritmu pro kompozici jednotlivých komponent definovaných v jazyce do výsledného uživatelského prostředí. Navržený jazyk je implementován v programovacím jazyce C\#. Implementace je demonstrována na reprezentativních příkladech. Nakonec se práce věnuje dalším možným rozšířením jazyka.
|
|
|
A Tool for Checking Correctness of Design Diagrams in UML
Dlouhý, Ivo ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Aim of this master's thesis is to create a tool for checking correctness of design diagrams in UML. The work describes the UML language and connected standards, defines the problem of UML correctness and explains the approach of using incorrectness pattern database to check the UML correctness. Furthermore it suggests the QVT language as a suitable for implementing the incorrectness patterns. The problem is decomposed into shared incorrectness pattern database manageable via web interface, standalone tool for use from the command line and a plugin for the UML design software Visual Paradigm. All of the components are designed, implemented, tested and evaluated. The important aspect is the openness and extensibility of the tool.
|
|
|
Transformace z OCL do SQL
Sobotka, Petr ; Richta, Karel (advisor) ; Kopecký, Michal (referee)
The aim of this Master Thesis named Transformation from OCL into SQL is to explore possibilities of enhancing Enterprise Architect by the ability of generating SQL code that implements OCL constraints of a Platform Independent Model, and to create a working prototype that demonstrates this capability. The thesis contains a brief introduction to the problem of Model Driven Architecture, why it would be useful to implement the specified constraints directly in the database, a description of the interaction with Enterprise Architect along with analysing how to get the needed data, the way OCL can be mapped onto SQL, and finally it describes the implementation of the OCLtoSQL plugin from its analysis and chosen architecture to its documentation.
|
|
|
A Tool for Checking Correctness of Design Diagrams in UML
Dlouhý, Ivo ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Aim of this master's thesis is to create a tool for checking correctness of design diagrams in UML. The work describes the UML language and connected standards, defines the problem of UML correctness and explains the approach of using incorrectness pattern database to check the UML correctness. Furthermore it suggests the QVT language as a suitable for implementing the incorrectness patterns. The problem is decomposed into shared incorrectness pattern database manageable via web interface, standalone tool for use from the command line and a plugin for the UML design software Visual Paradigm. All of the components are designed, implemented, tested and evaluated. The important aspect is the openness and extensibility of the tool.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (referee) ; Krčmář, Radim (advisor)
Diplomová práce se zabývá problematikou návrhu vysokoúrovňového jazyka pro popis grafického uživatelského rozhraní. Teoretická část rozebírá současné technologie uživatelských rozhraní zejména pro stanovení požadavků na nový jazyk. Z těchto poznatků násladně jsou shrnuty zásadní požadavky, které se nutně musí zakomponovat při návrhu samotného jazyka. Jsou zde zmíněny i požadavky z pohledu osob se specifickými vzdělávacími potřebami dle tzv. návrhových principů \textit{počítačové terapie}. Následně práce dle analyzovaných požadavků navrhuje jazyk pro vysokoúrovňový popis uživatelského rozraní. Součástí návrhu jazyka je také popis algoritmu pro kompozici jednotlivých komponent definovaných v jazyce do výsledného uživatelského prostředí. Navržený jazyk je implementován v programovacím jazyce C\#. Implementace je demonstrována na reprezentativních příkladech. Nakonec se práce věnuje dalším možným rozšířením jazyka.
|
|
|
Verifying integrity constraints in C# using Code Contracts
Dort, Vlastimil ; Malý, Jakub (advisor) ; Ježek, Pavel (referee)
OCL serves as a language for specification of integrity constraints on UML models, Code Contract allow the integrity constraints to be expressed in programming languages targeting Microsoft .NET Framework. The goal of the thesis is to find and implement a translation of integrity constraints form the OCL language to C#, using Code Contracts. The features of Code Contracts and OCL are presented, then individual language constructs and standard library operations are compared with syntactic and semantic equivalents in C#. The chosen translation aims to match the semantics of OCL where possible. Code generation of C# sources is implemented in the eXolutio application, which provides a class diagram editor and an OCL parser. Powered by TCPDF (www.tcpdf.org)
|
|
|
Transformace z OCL do SQL
Sobotka, Petr ; Richta, Karel (advisor) ; Kopecký, Michal (referee)
The aim of this Master Thesis named Transformation from OCL into SQL is to explore possibilities of enhancing Enterprise Architect by the ability of generating SQL code that implements OCL constraints of a Platform Independent Model, and to create a working prototype that demonstrates this capability. The thesis contains a brief introduction to the problem of Model Driven Architecture, why it would be useful to implement the specified constraints directly in the database, a description of the interaction with Enterprise Architect along with analysing how to get the needed data, the way OCL can be mapped onto SQL, and finally it describes the implementation of the OCLtoSQL plugin from its analysis and chosen architecture to its documentation.
|
|
|
An UML Profile for Modelling of Component-Based Systems
Pagáč, Jiří ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
The thesis deals with the modeling of the Component Based Software (CBS) systems in the UML language and with extension of the UML language with using of meta-modeling techniques and with using of the UML Prodile technology. Thesis also deals with Component Based Development (CBD). The main part of this study deals with specifying of methodology for creating of UML Prodiles and with demonstration of this methodology on selected Component System meta-model by creating the profile including the OCL constraints and description of problems with creating of the prodile. Thesis also describes support of the UML Profile technology in existing UML CASE tools. For demonstration purposes thesis contains the case study with example which uses in this work created UML Profile. Profile is created in accordance with specification of UML version 2.3 and OCL in version 2.2. Demonstration is performed and profile itself is created using IBM Rational Software Architect version 8.0.2.
|
guest ::
